Em Ciência da Computação, uma função de mão única ou função de sentido único é uma função que é fácil de calcular para qualquer entrada (qualquer valor do seu domínio), mas difícil de inverter dada a imagem de uma entrada aleatória. Aqui "fácil" e "difícil" são entendidos em termos da teoria da complexidade computacional, especificamente a teoria dos problemas de tempo polinomial. Não sendo um-para-um não é considerado suficiente para um função ser chamada de mão única.

A existência de funções de sentido único ainda é uma conjetura em aberto. Na realidade, a existência delas provaria que as classes de complexidade P e NP não seriam iguais, resolvendo assim o principal problema da teoria da Ciência da Computação . A existência da prova que P não é igual a NP não implica, porém, na existência de funções de mão única.

Em alguns contextos, os termos "fácil" e "difícil" são interpretados geralmente relativos a alguma entidade computacional específica; tipicamente "barato o bastante para usuários legítimos" e "muito caro para agentes maliciosos". Funções de mão única, nesse sentido, são ferramentas fundamentais para criptografia, identificação pessoal, autenticação e outras aplicações de segurança de dados. Enquanto a existência de tais funções ainda é uma conjetura em aberto, existem diversas funções candidatas que resistiram décadas de intensa investigação. Algumas dessas são essenciais para a maioria dos sistemas de telecomunicações, comércio eletrônico e internet banking, por todo o mundo.